A Basis for a Theory of Program Synthesis

نویسنده

  • P. A. Subrahmanyam
چکیده

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Developing a Framework for a Program Theory-Based Approach to Evaluating Policy Processes and Outcomes: Health in All Policies in South Australia

Background The importance of evaluating policy processes to achieve health equity is well recognised but such evaluation encounters methodological, theoretical and political challenges. This paper describes how a program theorybased evaluation framework can be developed and tested, using the example of an evaluation of the South Australian Health in All Policies (HiAP) initiative.   Methods A f...

متن کامل

The Effect of a Training Program Based on the Theory of Planned Behaviour (TPB) on Sexual High-Risk Behavioural Intentions in Female Prisonors, Vakil Abad Prison, Mashhad, Iran, 2013

Background and Aims: High-risk sexual behaviors are of the most important risky behaviours in the area of sexual and reproductive health. It seems that educational programs based on health behavioural change theories are of the most basic measures in prevention of social damages. Therefore, the present study was carried out to determine the effect of a training...

متن کامل

How Do We Evaluate Health in All Policies?; Comment on “Developing a Framework for a Program Theory-Based Approach to Evaluating Policy Processes and Outcomes: Health in All Policies in South Australia”

It is well-established that population health is influenced by a multitude of factors, many of which lie outside the scope of the health sector. In the public health literature it is often assumed that intersectoral engagement with nonhealth sectors will be instrumental in addressing these social determinants of health. Due to the expected desirable outcomes in population health, several countr...

متن کامل

Computational study in Regioselectivie Synthesis of New Spiro-oxindolopyrrolidines

One-pot, four-component procedure for the synthesis of a small library of new chiral spiro- oxindolopyrrolidines with high regio-, diastereo- (>99:1 dr), and enantioselectivity (up to 80% ee) is described. In this process, the regio- and stereochemical 1,3-dipolar cycloaddition of azomethine ylides, which were generated insitu by the reaction of isatin derivatives and sarcosin,with optically ac...

متن کامل

Computational study in Regioselectivie Synthesis of New Spiro-oxindolopyrrolidines

One-pot, four-component procedure for the synthesis of a small library of new chiral spiro- oxindolopyrrolidines with high regio-, diastereo- (>99:1 dr), and enantioselectivity (up to 80% ee) is described. In this process, the regio- and stereochemical 1,3-dipolar cycloaddition of azomethine ylides, which were generated insitu by the reaction of isatin derivatives and sarcosin,with optically ac...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1980